$r$$\downarrow$+gp $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$r$$\mid$, =$_{b}$$r$, $\leq_{b}$$r$, +$r$, 0$r$, {-}$r$$>$